CNRS
Senior Researcher (DR1, HdR)
in Computer Science at IRL 2955 IPAL co-director of Programme DesCartes , 1 Create Way, #08-01 Create Tower Singapore 138602 email: blaise.genest@cnrsatcreateXXXREMOVEXXX.sg |
also associated with
CNRS@CREATE (UAR 2001 SPICES) 1 Create Way, #08-01 Create Tower Singapore 138602 |
I am also Adjunct Professor in School of Computing, National University of Singapore (NUS).
I was Adjunct Associate Professor there earlier as well (2011-2013).
Stochastic Models: Markov Chains, MDPs, DBNs, Rabin's Probabilistic Automata, Populations.
Applications: Systems Biology, Multi-level systems, Security.
Background: Automata and Verification, Distributed Systems, Games Theory.
Subrat Prasad Panda (2023+, NTU). Trustworthy Decision Making.
Eduardo Do Conto (2023+, NTU). Methodology for Hybrid Twin Design, Validation and Integration.
Ali El Husseini (2023+, NUS). Trustworthy LLMs for code generation.
Xiang Fang (2022+, NTU). Out of Distribution Object and Action Detection.
|
|
|
|
DesCartes School'24 Co-Organizer
DesCartes School'23 Co-Organizer
DesCartes School'22 Co-Organizer and giving the course "On shortcomings of Learning" .
Teaching/Enseignement
Model Checking of Complex Systems (10h/year, Lecture, Master 2 in Rennes, 2015-2018)
Models of Concurrency (5h, Lecture, Master 2 in Rennes, 2006-2007).
Verification (4h, Lecture, 4th year in Warwick, 2005).
Programming in Java (42h, TP, DEUG 1, 2003-2004).
Hardware Architecture (36h, TD, IUP 1, 2003-2004).